sorted{-}by($R$;$L$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\forall$$i$:\{0..$\parallel$$L$$\parallel^{-}$\}, $j$:\{0..$i$$^{-}$\}. $R$($L$[$j$],$L$[$i$])